TSTP Solution File: SYN001^4.002 by Scavenger---EP-0.2